Decompositions of stratified institutions

Abstract The theory of stratified institutions is a general axiomatic approach to model theories where the satisfaction parameterized by states models. In this paper we further develop introducing new technique for representing institutions, which based on projecting such simpler structures. On one hand can be used developing results applicable wide variety already existing with states, as those some form Kripke semantics. other may serve template defining theories. emphasize former application amalgamation and existence diagrams institutions. These are two most useful properties have in institution theoretic theory.